abstract interpretation中文是什么意思

发音:

中文翻译
造句

抽象释义

abstract adj. 1.抽象的 (opp. concrete); ...
interpretation n. 1.解释，说明。 2.翻译。 3.表演，演奏。短 ...
abstract adj. 1.抽象的 (opp. concrete); 理论上的 (opp. applied); 观念的，空想的 (opp. practical)。 2.难解的，深奥的。 3.茫然的，恍恍惚惚的。 4.【数学】不名的。 5.【美术】抽象派的 (opp. representational)。 abstract expressionism 抽象表现主义(派)。 abstract mathematics 理论数学。 abstract noun 抽象名词。 abstract number 不名数。 n. 1.抽象；【逻辑学】抽象概念，抽象名词。 2.【化学】萃取物，提出物；提要，摘要。 abstract of title 财产权归属说明书。 in the abstract 抽象地，观念上，理论上。 make an abstract of 把…的要点摘录下来。 vt. 1.提取，抽取；析离，分离；转移(注意等)。 2.〔委婉语〕偷窃。 3.概括，摘录。 4.使(概念等)抽象化。 abstract (somewhat) from sb.'s enjoyment 使某人扫兴。 abstract sb.'s attention from 从…上转移开某人的注意。 adv. -ly 抽象地，理论上，观念上。 n. -ness 抽象性。
abstract to 抽出/转移
in the abstract 抽象地，在理论上
interpretation n. 1.解释，说明。 2.翻译。 3.表演，演奏。 put a favourable interpretation on 对…作有利的解释。 signal interpretation信号解释。 What is the interpretation of this poem 这首诗的译文是什么意思？
abs abstract 文摘; 摘要
abst abstract 摘要
abstr abstract 摘要
abstract - elaborate 简洁的
abstract ability 抽象能力; 概括能力
abstract account 月计帐户; 月结帐户; 摘要
abstract algebra 抽象代数; 传动概论; 近世代数
abstract alphabet 抽象字母
abstract and indexing 文摘索引
abstract art 抽象派, 抽象主义; 抽象艺术
abstract attitude 抽象态度
abstract automata 抽象自动机
abstract automaton 抽象自动机
abstract average 抽象平均数
abstract background 抽象背景
abstract ballet 抽象芭蕾
abstract behavior 抽象行为
abstract being 抽象的存在
abstract book 汇总收支摘要簿; 收支撮要薄; 收支摘要薄; 收支摘要簿

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

百科解释

In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.

详细百科解释

推荐英语阅读

abstract interpretation的中文翻译，abstract interpretation是什么意思，怎么用汉语翻译abstract interpretation，abstract interpretation的中文意思，abstract interpretation的中文，abstract interpretation in Chinese，abstract interpretation的中文，abstract interpretation怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Tue, 12 Aug 2025 00:29:56 GMT